منابع مشابه
Non-Uniform Hypercoherences
In [BE01], Bucciarelli and Ehrhard propose a general tool for building a wide class of models of linear logic where a formula is interpreted as a set (the web) together with a kind of phase valued “coherence relation”. These interpretations are nonuniform in the sense that the semantics of a proof makes no assumption about the behaviour of its possible counter-proofs, unlike e.g. in the usual s...
متن کاملProjecting Games on Hypercoherences
We compare two interpretations of programming languages: game semantics (a dynamic semantics dealing with computational traces) and hypercoherences (a static semantics dealing with results of computation). We consider polarized bordered games which are Laurent’s polarized games endowed with a notion of terminated computation (the border) allowing for a projection on hypercoherences. The main re...
متن کاملParallel and serial hypercoherences
It is known that the strongly stable functions which arise in the semantics of PCF can be realized by sequential algorithms, which can be considered as deterministic strategies in games associated to PCF types. Studying the connection between strongly stable functions and sequential algorithms, two dual classes of hypercoherences naturally arise: the parallel and serial hypercoherences. The obj...
متن کاملUniform Characterizations of Non-Uniform Complexity Measures
Non-uniform complexity measures originated in automata and formal languages theory are characterized in terms of well-known uniform complexity classes. The initial index of languages is introduced by means of several computational models. It is shown to be closely related to context-free cost, boolean circuits, straight line programs, and Turing machines with sparse oracles and time or space bo...
متن کاملDetermining the Hydro-acoustic Characteristics of the Ship Propeller in Uniform and Non-uniform Flow
This research has been carried out to determine the marine propeller hydro-acoustic characteristics by Reynolds-Averaged Navier-Stokes (RANS) solver in both uniform and non-uniform wake flow at different operating conditions Wake flow can cause changes in pressure fluctuation and gas effect on propeller noise spectrum. Noise is generated by the induced trailing vortex wake and induced pressure ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2003
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)80559-0